Issue1980.agda:11,1-22
funny  is not a legal rewrite rule, since the following variables are not bound by the left hand side:  x
when checking the pragma REWRITE funny
